((v1 v2 2) (v1 v3 7) (v1 v4 1) (v1 v5 7) (v1 v6 5) (v1 v7 0) (v1 v8 6) (v1 v9 4) (v1 v10 6) (v1 v11 9) (v1 v12 5) (v1 v13 5) (v1 v14 8) (v1 v15 2))
62
((v4 v6))